Linearly distributive functors
نویسندگان
چکیده
منابع مشابه
Unique factorisation lifting functors and categories of linearly-controlled processes
We consider processes consisting of a category of states varying over a control category as prescribed by a unique factorisation lifting functor. After a brief analysis of the structure of general processes in this setting, we restrict attention to linearly-controlled ones. To this end, we introduce and study a notion of path-linearisable category in which any two paths of morphisms with equal ...
متن کاملNATURAL DEDUCTION AND COHERENCE FOR NON - SYMMETRIC LINEARLY DISTRIBUTIVE CATEGORIES Dedicated to Joachim Lambek
In this paper certain proof-theoretic techniques of [BCST] are applied to non-symmetric linearly distributive categories, corresponding to non-commutative negation-free multiplicative linear logic (mLL). First, the correctness criterion for the two-sided proof nets developed in [BCST] is adjusted to work in the non-commutative setting. Second, these proof nets are used to represent morphisms in...
متن کاملComparing Distributive and Non - Distributive Conflict Transitions
(Preliminary draft; references incomplete. Feedback welcome to [email protected] and [email protected], but please do not circulate.)
متن کاملCopower functors
We give a common generalization of two earlier constructions in [2], that yielded coalgebraic type functors for weighted, resp. fuzzy transition systems. Transition labels for these systems were drawn from a commutative monoid M or a complete semilattice L, with the transition structure interacting with the algebraic structure on the labels. Here, we show that those earlier signature functors a...
متن کاملModular Functors
We prove in this paper that the genus zero data of a modular functor determines the modular functor. We do this by establishing that the S-matrix in genus onewith one point labeled arbitrarily can be expressed in terms of the genus zero information and we give an explicit formula. We do not assume the modular functor in question has duality or is unitary, in order to establish this. CONTENTS
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 1999
ISSN: 0022-4049
DOI: 10.1016/s0022-4049(98)00110-8